Revisitando a Lógica de Dunn-Belnap

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Classical Negation and Expansions of Belnap-Dunn Logic

We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show th...

متن کامل

Nuevos Diseños de Controladores por Lógica Fuzzy

En el momento actual los Controladores con Lógica Fuzzy transitan por una etapa del desarrollo acelerado en su fundamentación teórica y sus aplicaciones prácticas. La estructura algorítmica de los mismos, que puede llamarse tradicional, contiene entre sus particularidades el hecho de que la función de membresía de los subconjuntos difusos de entradas y salidas es del tipo “aproximadamente igual...

متن کامل

Sistema de Control de Lógica Difusa Aplicado a un Motor de C.D

l presente artículo describe el diseño y simulación de un Sistema de Control de Lógica Difusa aplicado a la variable de posición de un motor de C.D. de 1/15 de H.P. En el diseño se utilizo el método de Sistemas de Estructuras Variables para obtener la estabilidad de la variable de posición. La simulación presenta gráficos de la superficie de Control de Lógica Difusa, y la variable de posición p...

متن کامل

Funciones de Ranking basadas en Lógica Borrosa para IR estructurada

With the increase in the use of mark-up languages, a new scenario has raised into the IR field; this new scenario is focused on structured documents, and has been defined as structured IR. The classic IR models have been extended in order to be applied to this new scenario. Generally these adaptations have been carried on by weighting the fields that form the document structure, and making the ...

متن کامل

Lógica borrosa e interpretación correspondentista de la teoría semántica de la verdad de Tarski

Hájek sostiene que la propiedad más importante de los predicados vagos es su carácter comparativo: el hecho de que puedan aplicarse a un objeto (individual) dado en mayor o menor medida, incluyendo el sí absoluto y el no absoluto. Esta propiedad comparativa de los predicados vagos nos conduce a una “noción comparativa de verdad”, en virtud de la cual una proposición puede ser “más verdadera” o ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Manuscrito

سال: 2017

ISSN: 2317-630X,0100-6045

DOI: 10.1590/0100-6045.2017.v40n2.cb